:: Integer -> Double -package:rio package:hmpfr